Formal system - PDFSEARCH.IO - Document Search Engine

Formal system
Results: 1034

#	Item
521	Integrating a dependency parser into a system for machine translation Lina Stadell Uppsala University Add to Reading List Source URL: stp.lingfil.uu.se Language: English - Date: 2011-12-14 04:43:51 Computing Machine translation Parsing Treebank Formal languages Syntax Rule-based machine translation Compiler Immediate constituent analysis Linguistics Software engineering Compiler construction
522	Verifying bounds on deliberation time in multi-agent systems Natasha Alechina a a Brian Logan a Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2009-09-11 12:40:28 Artificial intelligence Formal languages Models of computation Logic programming Logical syntax Intelligent agent Production system Well-formed formula Agent-based model Logic Mathematics Science
523	Formal Verification of Digital Circuits Using Symbolic Ternary System Models Randal E. Bryant Carl-Johan Seger Carnegie Mellon University Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2004-11-16 11:31:41 Mathematical logic Algebraic logic Circuit Boolean function Model checking FO Topology Boolean algebras canonically defined Boolean circuit Theoretical computer science Mathematics Boolean algebra
524	Public Policy Implications of Big Data Add to Reading List Source URL: www2.datainnovation.org Language: English - Date: 2014-03-31 16:23:39 Technology Business intelligence Data analysis Data mining Data management Geographic information system Data quality Privacy Internet privacy Science Formal sciences Computing
525	100 DATA INNOVATIONS center for Add to Reading List Source URL: www2.datainnovation.org Language: English - Date: 2014-01-22 04:14:00 Statistics Business intelligence Knowledge Data mining Natural language processing Statistical natural language processing Geographic information system Analytics Remote sensing Science Data analysis Formal sciences
526	Automatic Control and Systems Engineering The Department of Automatic Control & Systems Engineering is pleased to announce the following seminar: Add to Reading List Source URL: www.sheffield.ac.uk Language: English - Date: 2013-11-27 08:47:00 Applied mathematics Formal methods Mathematics Theoretical computer science Automated theorem proving Verification Stability System Control theory Formal sciences Cybernetics Science
527	Magic: An Industrial-Strength Logic Optimization, Technology Mapping, and Formal Verification System Alan Mishchenko Niklas Een Robert Brayton Stephen Jang Maciej Ciesielski Add to Reading List Source URL: www.bvsrc.org Language: English - Date: 2010-03-19 22:25:46 Digital electronics Integrated circuits Standard cell Field-programmable gate array Logic optimization Retiming Physical design Logic synthesis Placement Electronic engineering Electronic design automation Electronic design
528	Visibility and Operational Intelligence for the Cloud Era Using Splunk to Extract Business Value from Data in Hybrid IT Environments Perspective Report Add to Reading List Source URL: www.splunk.com Language: English - Date: 2014-03-31 20:49:28 Business Data security Splunk Business intelligence Cloud computing Formal sciences Software as a service Analytics Computing Centralized computing System administration
529	NOTICE: This opinion is subject to motions for rehearing under Rule 22 as well as formal revision before publication in the New Hampshire Reports. Readers are requested to notify the Reporter, Supreme Court of New Hampsh Add to Reading List Source URL: www.courts.state.nh.us Language: English - Date: 2015-01-13 08:54:45 Crimes Legal terms Abuse of the legal system Entrapment Solicitation Attempt Means motive and opportunity Double jeopardy Jury Law Criminal law Inchoate offenses
530	Emotions and Formal Objects Add to Reading List Source URL: www.affective-sciences.org Language: English - Date: 2015-02-06 18:10:37 Emotions Feeling Concepts Limbic system Affect Anger Reason Contempt Art Mind Philosophy of mind Ethology

UPDATE